A Lattice Formulation of the F 4 Completion Procedure
نویسنده
چکیده
We write a procedure for constructing noncommutative Gröbner bases. Reductions are done by particular linear projectors, called reduction operators. The operators enable us to use a lattice construction to reduce simultaneously each S-polynomial into a unique normal form. We write an implementation as well as an example to illustrate our procedure. Moreover, the lattice construction is done by Gaussian elimination, which relates our procedure to the F4 algorithm for constructing commutative Gröbner bases.
منابع مشابه
A lattice formulation of the F4 completion procedure
We study rewriting systems on noncommutative algebras by reduction operators. The set of reduction operators admits a lattice structure providing lattice formulations of confluence an completion. The aim of the paper is to use this lattice formulation of completion to introduce a procedure for constructing noncommutative Gröbner bases. The completion of reduction operators is done by Gaussian e...
متن کاملRemarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملA novel boundary condition for the simulation of the submerged bodies using lattice boltzmann method
In this study, we proposed a novel scheme for the implementation of the no-slip boundary condition in thelattice Boltzmann method (LBM) . In detail , we have substituted the classical bounce-back idea by the direct immersed boundary specification . In this way we construct the equilibrium density functions in such a way that it feels the no-slip boundaries . Therefore , in fact a kind of equili...
متن کاملAn Algebraic Approach of Confluence and Completion
We propose an approach on linear rewriting where applications of rewrite rules are replaced by applications of specific linear maps called reduction operators. These operators were introduced by Berger for finite dimensional vector spaces. His motivation was to study the homology of a special class of algebras called finitely generated homogeneous algebras. The elements of these algebras are no...
متن کاملFloating Matrix Tablets of Domperidone Formulation and Optimization Using Simplex Lattice Design
The purpose of this research was to prepare a floating matrix tablet containing domperidone as a model drug. Polyethylene oxide (PEO) and hydroxypropyl methylcellulose (HPMC) were evaluated for matrix-forming properties. A simplex lattice design was applied to systemically optimize the drug release profile. The amounts of PEO WSR 303, HPMC K15M and sodium bicarbonate were selected as independen...
متن کامل